//#include <stdio.h>
//#include <stdlib.h>
//
//int main()
//{
//    int sum=0,n=0;
//    while(scanf("%d",&n)!=EOF){
//            sum=0;
//        for(int i=1;i<=n;i++){
//            sum+=i;
//        }
//        printf("%d",sum);
//    }
//    return 0;
//}


//#include <stdio.h>
//#include <stdlib.h>
//
//int main()
//{
//    int n=0,sum=0;
//    while(scanf("%d",&n)!=EOF){
//        sum=1;
//        for(int i=1;i<=n;i++){
//            sum*=i;
//        }
//        printf("%d",sum);
//    }
//    return 0;
//}


//#include <stdio.h>
//#include <stdlib.h>
//
//int main()
//{
//    int year=0,month=0;
//    char a=0;
//    int day=0;
//    while(scanf("%d%c%d",&year,&a,&month)!=EOF){
//       if(month==2){
//            if((year%4==0&&year%100!=0)||year%400==0){
//                day=29;
//            }
//            else{
//                day=28;
//            }
//       }
//       else if(month==4||month==6||month==9||month==11){
//            day=30;
//       }
//       else{
//            day=31;
//       }
//       printf("%d",day);
//    }
//    return 0;
//}

//#include <stdio.h>
//#include <stdlib.h>
//
//int main()
//{
//    for(int i=1000;i<=9999;i++){
//        if((i/100+i%100)*(i/100+i%100)==i){
//            printf("%d\n",i);
//        }
//    }
//    return 0;
//}


//#include <stdio.h>
//#include <stdlib.h>
//
//int main()
//{
//    int n=0,count=0;
//    scanf("%d",&n);
//    for(int i=1;count<n;i++){
//        if(i%3==2&&i%5==3&&i%7==4){
//            count++;
//            printf("%d\n",i);
//        }
//    }
//    return 0;
//}

//#include <stdio.h>
//#include <stdlib.h>
//
//int main()
//{
//    int n=0,t=0;
//
//    while(scanf("%d",&n)!=EOF){
//        long long int sum=0;
//        for(int i=1;i<=n;i++){
//            t=1;
//            for(int j=1;j<=i;j++){
//                t*=j;
//            }
//            sum+=t;
//        }
//        printf("%lld",sum);
//    }
//
//    return 0;
//}

#include <stdio.h>
#include <stdlib.h>

int main()
{
    int n=0;
    int count=0;
    while(scanf("%d",&n)!=EOF){
            int t=0;
        for(int i=2;i<=n;i++){
            if(i%i==0){
                t=1;
                break;
            }
        }
        for(int i=1;i<=n/2;i++){
            if(t==0){
                printf("%d ",i);
                count++;
                if(count>10){
                    printf("\n");
                }
            }
        }
    }
    return 0;
}
